Doppler effect derivations